-
1 относящийся к математической логике
General subject: logico-mathematicalУниверсальный русско-английский словарь > относящийся к математической логике
-
2 специалист по математической логике
ngener. logisticienDictionnaire russe-français universel > специалист по математической логике
-
3 logistical
adjective mil.относящийся к тылу, тыловой; logistical number номер, присваиваемый грузу при автоперевозке; logistical support материально-техническое обеспечение* * *1 (a) тыловой2 (r) относящийся к тылу* * *относящийся к математической логике, логистике* * *adj. относящийся к математической логике, вычислительный* * *I прил. 1) относящийся к математической логике 2) вычислительный II прил.; воен. относящийся к тылу -
4 Grundaussage
сущ.1) комп. исходное высказывание, основное высказывание, исходное суждение (в математической логике) -
5 logico-
компонент сложных слов со значением: логический - logico-mathematical относящийся к математической логике -
6 logistical
ləuˈdʒɪstɪkəl I прил.
1) относящийся к математической логике, логистике
2) вычислительный II прил.;
воен. относящийся к тылу, тыловой logistical support ≈ материально-техническое обеспечение( военное) тыловой, относящийся к тылу - * support материально-техническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечение logistical воен. относящийся к тылу, тыловой;
logistical number номер, присваиваемый грузу при автоперевозке;
logistical support материальнотехническое обеспечениеБольшой англо-русский и русско-английский словарь > logistical
-
7 logico
logico-
1> компонент сложных слов со значением: логический
_Ex:
logico-mathematical относящийся к математической логике -
8 logisticien
m (f - logisticienne) -
9 undecidability
-
10 express an operation in terms of the Sheffer stroke
Универсальный англо-русский словарь > express an operation in terms of the Sheffer stroke
-
11 free variable
1) Техника: несвязанная переменная2) Экономика: свободная переменная -
12 ignorance
['ɪgnərəns]1) Общая лексика: безграмотность, неведение, невежественность, невежество, незнание, неученье, отсутствие информации2) Техника: пренебрежение, незнание (в математической логике)3) Математика: незнакомство4) Юридический термин: заблуждение, неосведомлённость5) Официальное выражение: непринятие во внимание6) юр.Н.П. невинность7) Макаров: полное невежество -
13 importation
[ˌɪmpɔː'teɪʃ(ə)n]1) Общая лексика: ввезённый товар, ввоз, внесение, импорт, предмет ввоза, импортирование, импортные товары, заимствование2) Техника: внос3) Математика: импортация4) Юридический термин: ввоз товаров в страну5) Налоги: импортная операция6) Деловая лексика: ввозимый товар7) Макаров: введение, внесение (в математической логике) -
14 logico-mathematical
Общая лексика: относящийся к математической логике -
15 n-tuple
1) Математика: n-строка, кортеж, кортеж из n элементов, набор из n чисел, умноженный на n2) Вычислительная техника: N-кратный, кортеж из п элементов, энка3) Контроль качества: n-кратный (напр. о резервировании)4) Макаров: n-строка (в геометрии), n-ка (в математической логике) -
16 undecidability
1) Техника: неразрешимость (в математической логике)2) Робототехника: невозможность принятия решения -
17 n-ка
2) Makarov: n-tuple (в математической логике) -
18 внесение
1) General subject: entering, importation, superinducement, superinduction, introduction2) Biology: application (напр. удобрений)3) Engineering: addition4) Agriculture: application (напр. удобрений или ядохимикатов), cumulative distribution curve (удобрений, ядохимикатов), incorporation5) Mathematics: bringing in, entry6) Economy: application (напр. удобрений, ядохимикатов)7) Linguistics: parenthesis8) Mining: treatment (удобрений)9) Forestry: application (удобрений, ядохимикатов), distribution (удобрений, ядохимикатов)10) Metallurgy: drag-in (напр. загрязнений катодами гальванической ванны), insertion11) Polygraphy: distribution (удобрений)12) Textile: dressing (удобрений)13) Information technology: application (удобрений), injection14) Astronautics: filling in15) Ecology: distribution (напр. ядохимикатов)16) Patents: application (напр. поправки)17) Makarov: deposit, importation (в математической логике), placement (удобрений), treatment (удобрении, ядохимикатов)18) Security: insertion (напр. дополнений)19) SAP.fin. depositing -
19 выразить операцию через штрих Шеффера
Универсальный русско-английский словарь > выразить операцию через штрих Шеффера
-
20 незнание
1) General subject: guiltlessness (of; чего-л.), ignorance, nescience, non acquaintance, unfamiliarity2) Engineering: ignorance (в математической логике)3) Bookish: non-acquaintance4) Mathematics: lack of knowledge5) Makarov: innocence
См. также в других словарях:
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Имя (в логике) — Имя в логике, выражение языка, обозначающее предмет (собственное, или единичное, имя) или множество (класс) предметов (общее имя); при этом предмет понимается в широком смысле как всё, что мы можем назвать. Среди собственных имён различают имена… … Большая советская энциклопедия
ПСИХОЛОГИЗМ В ЛОГИКЕ — система взглядов, согласно которым законы логики являются законами психологии. Сторонники П. в л. стремились интерпретировать понятия, принципы и законы логики как непосредственное выражение тех устойчивых связей между мыслями, которые возникают… … Философская энциклопедия
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ПОРЕЦКИЙ — Платон Сергеевич [3(15).10.1846, Елиза ветград, ныне Кировоград, 9(22).8.1907, с. Жоведь, ныне Черниговской обл.], рус. логик, астроном и математик. Впервые в России начал читать курс лекций по математич. логике. По своим филос. взглядам… … Философская энциклопедия